<%
String port = request.getLocalPort()==80?"":":"+request.getLocalPort();
String ctx = request.getScheme()+"://"+request.getServerName()+port+request.getContextPath();
request.setAttribute("ctx", ctx);
%>